Dwelling or duelling in possibilities: how (Ir)relevant are African feminisms?

In its four decades of rebirth, the world has debated (enough) the relevance of feminism, but there is, surprisingly, refreshingly emergent dimensions at the turn of the twenty-first century: feminisms from feminism flowing from Africa. The theories or models of Womanism, Stiwanism, Motherism, and Nego-feminism, with their underlying assumptions and values,were all born at various end times of the twentieth century with a common objective of seeking gender justice. This paper examines the crucial question of how relevant these models are to the global practice of woman as human. What propels their separateness, and why didn‘t they combine to make a more solid stance on the plight of the African woman? In fact, why can‘t they simply identify with the general feminism? Put differently, are they dwelling in the same terrain or are they separable and easily recognisable discourses duelling in possibilities for the woman in Africa in particular and the woman of the globe in general? More specifically, how (ir)relevant are African feminisms?In trying to answer these questions, the paper presents a critical review of the afore-mentioned theories of African feminisms with the goal of providing readers an understanding of what is new in each model, and what is similar or different between the various strands of African feminisms. The paper concludes with the author‘s analysis of the model that holds the best promise or possibilities for African feminism to achieve its seemingly elusive goal of gender equality

Zig-zag Sort: A Simple Deterministic Data-Oblivious Sorting Algorithm Running in O(n log n) Time

We describe and analyze Zig-zag Sort--a deterministic data-oblivious sorting algorithm running in O(n log n) time that is arguably simpler than previously known algorithms with similar properties, which are based on the AKS sorting network. Because it is data-oblivious and deterministic, Zig-zag Sort can be implemented as a simple O(n log n)-size sorting network, thereby providing a solution to an open problem posed by Incerpi and Sedgewick in 1985. In addition, Zig-zag Sort is a variant of Shellsort, and is, in fact, the first deterministic Shellsort variant running in O(n log n) time. The existence of such an algorithm was posed as an open problem by Plaxton et al. in 1992 and also by Sedgewick in 1996. More relevant for today, however, is the fact that the existence of a simple data-oblivious deterministic sorting algorithm running in O(n log n) time simplifies the inner-loop computation in several proposed oblivious-RAM simulation methods (which utilize AKS sorting networks), and this, in turn, implies simplified mechanisms for privacy-preserving data outsourcing in several cloud computing applications. We provide both constructive and non-constructive implementations of Zig-zag Sort, based on the existence of a circuit known as an epsilon-halver, such that the constant factors in our constructive implementations are orders of magnitude smaller than those for constructive variants of the AKS sorting network, which are also based on the use of epsilon-halvers.Comment: Appearing in ACM Symp. on Theory of Computing (STOC) 201

Final state interactions in two-particle interferometry

We reconsider the influence of two-particle final state interactions (FSI) on two-particle Bose-Einstein interferometry. We concentrate in particular on the problem of particle emission at different times. Assuming chaoticity of the source, we derive a new general expression for the symmetrized two-particle cross section. We discuss the approximations needed to derive from the general result the Koonin-Pratt formula. Introducing a less stringent version of the so-called smoothness approximation we also derive a more accurate formula. It can be implemented into classical event generators and allows to calculate FSI corrected two-particle correlation functions via modified Bose-Einstein "weights".Comment: 12 pages RevTeX, 2 ps-figures included, submitted to Phys. Rev.

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+

We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the full Alternating time temporal logic ATL*. The method extends in an essential way a previously developed tableaux-based decision method for ATL and works in 2EXPTIME, which is the optimal worst case complexity of the satisfiability problem for ATL+ . We also discuss how suitable parametrizations and syntactic restrictions on the class of input ATL+ formulae can reduce the complexity of the satisfiability problem.Comment: 45 page

Lithium depletion in solar-like stars: effect of overshooting based on realistic multi-dimensional simulations

We study lithium depletion in low-mass and solar-like stars as a function of time, using a new diffusion coefficient describing extra-mixing taking place at the bottom of a convective envelope. This new form is motivated by multi-dimensional fully compressible, time implicit hydrodynamic simulations performed with the MUSIC code. Intermittent convective mixing at the convective boundary in a star can be modeled using extreme value theory, a statistical analysis frequently used for finance, meteorology, and environmental science. In this letter, we implement this statistical diffusion coefficient in a one-dimensional stellar evolution code, using parameters calibrated from multi-dimensional hydrodynamic simulations of a young low-mass star. We propose a new scenario that can explain observations of the surface abundance of lithium in the Sun and in clusters covering a wide range of ages, from $\sim$ 50 Myr to $\sim$ 4 Gyr. Because it relies on our physical model of convective penetration, this scenario has a limited number of assumptions. It can explain the observed trend between rotation and depletion, based on a single additional assumption, namely that rotation affects the mixing efficiency at the convective boundary. We suggest the existence of a threshold in stellar rotation rate above which rotation strongly prevents the vertical penetration of plumes and below which rotation has small effects. In addition to providing a possible explanation for the long standing problem of lithium depletion in pre-main sequence and main sequence stars, the strength of our scenario is that its basic assumptions can be tested by future hydrodynamic simulations.Comment: 7 pages, 3 figures, Accepted for publication in ApJ Letter

Quantum corrections for pion correlations involving resonance decays

A method is presented to include quantum corrections into the calculation of two-pion correlations for the case where particles originate from resonance decays. The technique uses classical information regarding the space-time points at which resonances are created. By evaluating a simple thermal model, the method is compared to semiclassical techniques that assume exponential decaying resonances moving along classical trajectories. Significant improvements are noted when the resonance widths are broad as compared to the temperature.Comment: 9 pages, 4 figure

The Acute and Residual Effect of a Single Exercise Session on Meal Glucose Tolerance in Sedentary Young Adults

The study goals were to (1) establish the variability in postprandial glucose control in healthy young people consuming a mixed meal and, then (2) determine the acute and residual impact of a single exercise bout on postprandial glucose control. In study 1, 18 people completed two similar mixed meal trials and an intravenous glucose tolerance test (IVGTT). There were strong test-retest correlations for the post-meal area under the curve (AUC) for glucose, insulin, and Cpeptide (r = 0.73–0.83) and the Matsuda insulin sensitivity index (ISI, r = 0.76), and between meal and IVGTT-derived ISI (r = 0.83). In study 2, 11 untrained young adults completed 3 trials. One trial (No Ex) was completed after refraining from vigorous activity for ≥3 days. On the other 2 trials, a 45-min aerobic exercise bout was performed either 17-hours (Prior Day Ex) or 1-hour (Same Day Ex) before consuming the test meal. Compared to No Ex and Prior Day Ex, which did not differ from one another, there were lower AUCs on the Same Day Ex trial for glucose (6%), insulin (20%) and C-peptide (14%). Thus, a single moderate intensity exercise session can acutely improve glycemic control but the effect is modest and short-lived

Waveform-based simulated annealing of crosshole transmission data: a semi-global method for estimating seismic anisotropy

We successfully apply the semi-global inverse method of simulated annealing to determine the best-fitting 1-D anisotropy model for use in acoustic frequency domain waveform tomography. Our forward problem is based on a numerical solution of the frequency domain acoustic wave equation, and we minimize wavefield phase residuals through random perturbations to a 1-D vertically varying anisotropy profile. Both real and synthetic examples are presented in order to demonstrate and validate the approach. For the real data example, we processed and inverted a cross-borehole data set acquired by Vale Technology Development (Canada) Ltd. in the Eastern Deeps deposit, located in Voisey's Bay, Labrador, Canada. The inversion workflow comprises the full suite of acquisition, data processing, starting model building through traveltime tomography, simulated annealing and finally waveform tomography. Waveform tomography is a high resolution method that requires an accurate starting model. A cycle-skipping issue observed in our initial starting model was hypothesized to be due to an erroneous anisotropy model from traveltime tomography. This motivated the use of simulated annealing as a semi-global method for anisotropy estimation. We initially tested the simulated annealing approach on a synthetic data set based on the Voisey's Bay environment; these tests were successful and led to the application of the simulated annealing approach to the real data set. Similar behaviour was observed in the anisotropy models obtained through traveltime tomography in both the real and synthetic data sets, where simulated annealing produced an anisotropy model which solved the cycle-skipping issue. In the real data example, simulated annealing led to a final model that compares well with the velocities independently estimated from borehole logs. By comparing the calculated ray paths and wave paths, we attributed the failure of anisotropic traveltime tomography to the breakdown of the ray-theoretical approximation in the vicinity of strong velocity discontinuitie

Lesion detection and Grading of Diabetic Retinopathy via Two-stages Deep Convolutional Neural Networks

We propose an automatic diabetic retinopathy (DR) analysis algorithm based on two-stages deep convolutional neural networks (DCNN). Compared to existing DCNN-based DR detection methods, the proposed algorithm have the following advantages: (1) Our method can point out the location and type of lesions in the fundus images, as well as giving the severity grades of DR. Moreover, since retina lesions and DR severity appear with different scales in fundus images, the integration of both local and global networks learn more complete and specific features for DR analysis. (2) By introducing imbalanced weighting map, more attentions will be given to lesion patches for DR grading, which significantly improve the performance of the proposed algorithm. In this study, we label 12,206 lesion patches and re-annotate the DR grades of 23,595 fundus images from Kaggle competition dataset. Under the guidance of clinical ophthalmologists, the experimental results show that our local lesion detection net achieve comparable performance with trained human observers, and the proposed imbalanced weighted scheme also be proved to significantly improve the capability of our DCNN-based DR grading algorithm

Public Health Outcomes as a Measure of Efficacy of Syringe Exchange Programs

Introduction. A syringe exchange is a public health intervention that offers nonjudgmental services to intravenous drug users (IVDU), providing clean syringes in exchange for used syringes. While prior studies demonstrated that syringe exchanges can reduce transmission of HIV, hepatitis C, and other blood-borne pathogens, other measures of health improvements have been less studied. Methods. 91 members of Vermont CARES syringe exchange program were surveyed on their healthcare practices. New members were defined asprogram. Results. Long-term members tended to have a primary care provider (PCP). Lack of insurance and fear of judgment were commonly cited reasons for not having a PCP. Long-term members were significantly less likely (p=0.04) to use costly emergency department (ED) services and less likely to reuse their own or another person\u27s needles. Long-term members were more likely to be in addiction treatment and reported a greater desire to abstain from drug use. New members were more likely to obtain hepatitis C and HIV testing in the past year. Discussion. Subjects responded positively to the possibility of accessing PCP services through VT CARES, offering a continuation of the nonjudgmental healthcare environment. Decreased ED visits significantly correlated with longer membership, reflecting the positive impact of the syringe exchange education services on reducing healthcare costs. Decreased testing among long-term members may reflect prior knowledge of their status. Long-term members were less likely to reuse their own needles or ones used by another person, suggesting the distribution of clean syringes encourages safer injection practices.https://scholarworks.uvm.edu/comphp_gallery/1247/thumbnail.jp